1. .....................
پدیدآورنده : Genzburg, Abraham..
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Machine theory,، Automata
رده :
QA
266
.
G52
1968
2. .....................
پدیدآورنده : )by( E.F. Codd
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequential machine theory,، Automata
رده :
QA
267
.
5
.
S4
C6
3. .....................
پدیدآورنده : Unger, Stephen H
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Switching theory,Sequential machine theory
رده :
TK
7868
.
S9
U5
4. .....................
پدیدآورنده : Starke, peter H
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Machine theory
رده :
QA
267
.
S6913
5. .....................
پدیدآورنده : Azaria Paaz
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Sequential machine theory,، Markov processes
رده :
QA
267
.
5
.
S4
P3
6. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
7. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
8. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
9. A Basic for theoretical computer science
پدیدآورنده : Arbib, Michael Anthony, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
10. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra,جبر, -- Congresses, -- کنگره‌ها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
11. A brief introduction to machine learning for engineers /
پدیدآورنده : Osvaldo Simeone.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.
رده :
TK5102
.
9
.
F69
v
.
12
,
no
.
3-4
12. A calculus of communicating systems
پدیدآورنده : / Robin Milner
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory.,Formal languages.
رده :
QA
,
267
,.
M53
13. A computational approach to statistical learning /
پدیدآورنده : Taylor Arnold, Michael Kane, Bryan W. Lewis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Estimation theory.,Machine learning-- Mathematics.,Mathematical statistics.,BUSINESS & ECONOMICS-- Statistics.,COMPUTERS-- General.,COMPUTERS-- Machine Theory.,Estimation theory.,Mathematical statistics.
رده :
Q325
.
5
.
A76
2019eb
14. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
15. A course in error-correcting codes /
پدیدآورنده : Jørn Justesen, Tom Høholdt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Error-correcting codes (Information theory),COMPUTERS-- Machine Theory.,Error-correcting codes (Information theory)
رده :
QA268
16. A course in formal languages, automata and grops
پدیدآورنده : Chiswell, Ian, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
17. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
18. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
19. A course in formal languages, automata and groups
پدیدآورنده : / Ian Chiswell
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal languages.,Machine theory.,Group theory.
20. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
